#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int main(int argc, char **argv)
{
    int i;

    if (argc < 2)
    {
        fprintf(2, "usage: kill pid...\n");
        exit(1);
    }
    for (i = 1; i < argc; i++)
        kill(atoi(argv[i]));
    exit(0);
}
